On graphic lambda calculus and the dual of the graphic beta move
نویسنده
چکیده
This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda calculus, the dual graphic beta move appears in relation to emergent algebras.
منابع مشابه
Graphic lambda calculus
Graphic lambda calculus consists of a class of graphs endowed with moves between them. It might be considered a visual language in the sense of Erwig [1]. The name comes from the fact that it can be used for representing terms and reductions from untyped lambda calculus. Its main move is called the graphic beta move for its relation to the beta reduction in lambda calculus. However, the graphic...
متن کاملGraphic lambda calculus and knot diagrams
The graphic lambda calculus [5] is a formalism based on local or global moves acting on locally planar trivalent graphs. In the mentioned paper we showed that ”sectors” of this calculus are equivalent with untyped lambda calculus or with emergent algebras. (The formalism of emergent algebras [2] [3] evolved from differential calculus on metric spaces with dilations [1].) For all the relevant no...
متن کاملA Comparative Study of Graphic Design Curriculum of Undergraduate Program in Iran and Selected Art Universities in the World
Curriculum is an essential component of any educational system and there is significant correlation between efficient curriculum and able graduates. Using comparative method, this paper investigates and analyzes undergraduate graphic design curriculum in Iran and ten art universities in the world. Recent developments in the field of graphic design have offered new approaches for the education o...
متن کاملUsing Teacher- and Student-Developed Graphic Organizers as a Writing Tool
This study investigated 1) whether the effect of teacher-developed graphic organizers vis-à-vis student-developed ones was more significant on improving intermediate EFL learners’ writing, and 2) whether the use of both graphic organizers had any impact on their writing. The participants were selected in two stages: 130 students sat for a piloted proficiency test. Those who scored above half of...
متن کاملThe Impact of Visualization and Graphic Organizers on EFL Learners’ Cognitive, Emotional, and Behavioral Engagement and Listening
The present study examined the impact of visualization and graphic organizers as pre-listening strategies on English as a foreign language (EFL) learners’ cognitive, behavioral, and emotional engagement and their listening comprehension. To do so, this study was carried out in three listening classes at Islamic Azad University of Mashhad. The participants included 80 junior EFL university stude...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1302.0778 شماره
صفحات -
تاریخ انتشار 2013